Michael Levin - PDFSEARCH.IO - Document Search Engine

Michael Levin
Results: 63

#	Item
31	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering
32	Michael R. Levin ([removed]) Joshua N. Lowitz ([removed[removed]West Washington Street, Suite 900 Add to Reading List Source URL: files.ctctcdn.com Language: English - Date: 2015-01-28 23:13:24 Software IPhone ITunes Cloud clients IOS Apple Inc. Android IPad BlackBerry Smartphones Computing Technology
33	Michael R. Levin (mike@cirpllc,com) Joshua N. Lowitz (josh@cirpllc,com 111. West Washington Street, Suite 900 Chicago, IL[removed]3664 Add to Reading List Source URL: origin.library.constantcontact.com Language: English Electronic engineering Smartphones Videotelephony Information appliances Apple Inc. Linksys iPhone IPhone Computing Electronics
34	Ambassador Michael Froman United States Trade Representative Written Statement House Ways and Means Committee January 27, 2015 Chairman Ryan, Ranking Member Levin, Members of the House Ways and Means Committee, Add to Reading List Source URL: waysandmeans.house.gov Language: English - Date: 2015-01-27 13:06:08 Economics World Trade Organization Special 301 Report African Growth and Opportunity Act Free trade Balance of trade Trade and Investment Framework Agreement Dominican Republic–Central America Free Trade Agreement Doha Development Round International relations International trade Business
35	Perspective Integrated Ecosystem Assessments: Developing the Scientific Basis for Ecosystem-Based Management of the Ocean Phillip S. Levin, Michael J. Fogarty, Steven A. Murawski, David Fluharty Add to Reading List Source URL: www.nmfs.noaa.gov Language: English* - Date: 2015-01-15 13:20:09 Systems ecology Philosophy of biology Ecosystem-based management Oceanography Ecology Ecosystem management Ecosystem services Ecosystem Ecological indicator Earth Environment Biology
36	Michael R. Levin ([removed]) Joshua N. Lowitz ([removed[removed]West Washington Street, Suite 900 Chicago, IL[removed]3664 www.cirpllc.com Add to Reading List Source URL: files.ctctcdn.com Language: English - Date: 2015-01-22 15:34:00 Smartphones Videotelephony IPhone ITunes Apple Inc. Samsung Mobile phone Nokia HTC Technology Electronics Electronic engineering
37	Michael R. Levin ([removed]) Joshua N. Lowitz ([removed[removed]West Washington Street, Suite 900 Add to Reading List Source URL: mlsvc01-prod.s3.amazonaws.com Language: English - Date: 2015-01-12 12:17:56 Video Commerce Netflix HBO Game of Thrones Video on demand Amazon.com The O.C. Television Serial drama television series Film
38	Separation Kernel Protection Profile Revisited: Choices and Rationale Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine Naval Postgraduate School Michael McEvilley Add to Reading List Source URL: www.cisr.us Language: English - Date: 2010-12-10 12:35:41 Separation kernel Multilevel security Protection Profile Common Criteria Kernel Security Target Evaluation Assurance Level Computer security Evaluation Security
39	Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:14 Hardware verification languages Logic design Formal methods Logic in computer science Hardware Trojan Property Specification Language Runtime verification SystemVerilog Functional verification Electronic engineering Digital electronics Hardware description languages
40	Hardware Trust Implications of 3-D Integration Ted Huffmire, Timothy Levin, Michael Bilzor, and Cynthia E. Irvine Department of Computer Science Naval Postgraduate School Monterey, CA 93943 Add to Reading List Source URL: www.cisr.us Language: English - Date: 2010-11-15 16:22:59 Microprocessors Integrated circuits Parallel computing Actor model Concurrent computing Secure multi-party computation Hardware Trojan Multi-core processor Three-dimensional integrated circuit Electronic engineering Electronics Computing

UPDATE